Ouaknine, Joel : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (40)
Les plus populaires
Liste
- Liste
- Tableau

[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - The Cost of Punctuality

Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joel, Worrell, James

Année:

2007

Langue:

english

Fichier:

PDF, 302 KB

english, 2007

Parallel Assignments in Software Model Checking

Murray Stokely, Sagar Chaki, Joël Ouaknine

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 292 KB

english, 2006

Axioms for Probability and Nondeterminism

Michael Mislove, Joël Ouaknine, James Worrell

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 295 KB

english, 2004

Informatic vs. Classical Differentiation on the Real Line

Keye Martin, Joël Ouaknine

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 224 KB

english, 2004

On Timed Models and Full Abstraction

Gavin Lowe, Joël Ouaknine

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 373 KB

english, 2006

Domain theory, testing and simulation for labelled Markov processes

Franck van Breugel, Michael Mislove, Joël Ouaknine, James Worrell

Journal:

Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 349 KB

english, 2005

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach

Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund Clarke

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 992 KB

english, 2003

Timed CSP = Closed Timed Automata1

Joël Ouaknine, James Worrell

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2002

Langue:

english

Fichier:

PDF, 257 KB

english, 2002

Verification of Reactive Systems: Formal Methods and Algorithms. By Klaus Schneider. Published by Springer, Berlin, Germany, Texts in Theoretical Computer Science Series, 2004. ISBN: 3-540-00296-0, pp 600.

Joël Ouaknine

Journal:

Software Testing, Verification and Reliability

Année:

2005

Langue:

english

Fichier:

PDF, 42 KB

english, 2005

Concurrent software verification with states, events, and deadlocks

Sagar Chaki, Edmund Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Journal:

Formal Aspects of Computing

Année:

2005

Langue:

english

Fichier:

PDF, 379 KB

english, 2005

Computational challenges in bounded model checking

Edmund Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2005

Langue:

english

Fichier:

PDF, 343 KB

english, 2005

An abstraction-based decision procedure for bit-vector arithmetic

Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2009

Langue:

english

Fichier:

PDF, 381 KB

english, 2009

Timed CSP: A Retrospective

Joël Ouaknine, Steve Schneider

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 173 KB

english, 2006

Three tokens in Herman’s algorithm

Kiefer, Stefan, Murawski, Andrzej S., Ouaknine, Joël, Wachter, Björn, Worrell, James

Journal:

Formal Aspects of Computing

Année:

2012

Langue:

english

Fichier:

PDF, 282 KB

english, 2012

On termination and invariance for faulty channel machines

Bouyer, Patricia, Markey, Nicolas, Ouaknine, Joël, Schnoebelen, Philippe, Worrell, James

Journal:

Formal Aspects of Computing

Année:

2012

Langue:

english

Fichier:

PDF, 411 KB

english, 2012

Preface

Michael Mislove, Joël Ouaknine

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 1.29 MB

english, 2011

SAT-solving in CSP trace refinement

Hristina Palikareva, Joël Ouaknine, A.W. Roscoe

Journal:

Science of Computer Programming

Année:

2012

Langue:

english

Fichier:

PDF, 464 KB

english, 2012

[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Alternating Timed Automata over Bounded Time

Jenkin, Mark, Ouaknine, Joël, Rabinovich, Alexander, Worrell, James

Année:

2010

Langue:

english

Fichier:

PDF, 392 KB

english, 2010

Algorithmic probabilistic game semantics

Kiefer, Stefan, Murawski, Andrzej S., Ouaknine, Joël, Wachter, Björn, Worrell, James

Journal:

Formal Methods in System Design

Année:

2013

Langue:

english

Fichier:

PDF, 1.14 MB

english, 2013

[IEEE 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012) - Dubrovnik, Croatia (2012.06.25-2012.06.28)] 2012 27th Annual IEEE Symposium on Logic in Computer Science - On the Magnitude of Completeness Thresholds in Bounded Model Checking

Bundala, Daniel, Ouaknine, Joel, Worrell, James

Année:

2012

Langue:

english

Fichier:

PDF, 279 KB

english, 2012

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Verifying multi-threaded software with impact

Wachter, Bjorn, Kroening, Daniel, Ouaknine, Joel

Année:

2013

Langue:

english

Fichier:

PDF, 271 KB

english, 2013

Reachability problems for Markov chains

Akshay, S., Antonopoulos, Timos, Ouaknine, Joël, Worrell, James

Journal:

Information Processing Letters

Année:

2015

Langue:

english

Fichier:

PDF, 239 KB

english, 2015

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Expressive Completeness for Metric Temporal Logic

Hunter, Paul, Ouaknine, Joel, Worrell, James

Année:

2013

Langue:

english

Fichier:

PDF, 310 KB

english, 2013

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Clarke, Edmund, Fehnker, Ansgar, Han, Zhi, Krogh, Bruce, Ouaknine, Joël, Stursberg, Olaf, Theobald, Michael

Journal:

International Journal of Foundations of Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 2.69 MB

english, 2003

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 5813 ||

Ouaknine, Joël, Vaandrager, Frits W.

Année:

2009

Langue:

english

Fichier:

PDF, 6.50 MB

english, 2009

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 5813 || Checking Timed Büchi Automata Emptiness Using LU-Abstractions

Ouaknine, Joël, Vaandrager, Frits W.

Année:

2009

Langue:

english

Fichier:

PDF, 297 KB

english, 2009

[ACM Press the 45th annual ACM symposium - Palo Alto, California, USA (2013.06.01-2013.06.04)] Proceedings of the 45th annual ACM symposium on Symposium on theory of computing - STOC '13 - The orbit problem in higher dimensions

Chonev, Ventsislav, Ouaknine, Joël, Worrell, James

Année:

2013

Langue:

english

Fichier:

PDF, 574 KB

english, 2013

[IEEE 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Kyoto, Japan (2015.7.6-2015.7.10)] 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - On the Complexity of Linear Arithmetic with Divisibility

Lechner, Antonia, Ouaknine, Joel, Worrell, James

Année:

2015

Langue:

english

Fichier:

PDF, 286 KB

english, 2015

On the Complexity of the Orbit Problem

Chonev, Ventsislav, Ouaknine, Joël, Worrell, James

Journal:

Journal of the ACM

Année:

2016

Langue:

english

Fichier:

PDF, 229 KB

english, 2016

Zeno, Hercules, and the Hydra

Lazić, Ranko, Ouaknine, Joël, Worrell, James

Journal:

ACM Transactions on Computational Logic

Année:

2016

Langue:

english

Fichier:

PDF, 823 KB

english, 2016

On parametric timed automata and one-counter machines

Bundala, Daniel, Ouaknine, Joel

Journal:

Information and Computation

Année:

2016

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2016

[IEEE 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Reykjavik, Iceland (2017.6.20-2017.6.23)] 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - LICS 2017 foreword

Ouaknine, Joel

Année:

2017

Langue:

english

Fichier:

PDF, 74 KB

english, 2017

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - Solvability of Matrix-Exponential Equations

Ouaknine, Joel, Pouly, Amaury, Sousa-Pinto, Joao, Worrell, James

Année:

2016

Langue:

english

Fichier:

PDF, 357 KB

english, 2016

Reachability Problems 2014: Special issue

Ouaknine, Joël, Potapov, Igor, Worrell, James

Journal:

Theoretical Computer Science

Année:

2018

Langue:

english

Fichier:

PDF, 120 KB

english, 2018

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - On Recurrent Reachability for Continuous Linear Dynamical Systems

Chonev, Ventsislav, Ouaknine, Joël, Worrell, James

Année:

2016

Langue:

english

Fichier:

PDF, 498 KB

english, 2016

Relating Reachability Problems in Timed and Counter Automata

Haase, Christoph, Ouaknine, Joël, Worrell, James, Abdulla, Parosh Aziz, Demri, Stéphane, Finkel, Alain, Leroux, Jérôme, Potapov, Igor

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 188 KB

english, 2016

Cyclic-routing of Unmanned Aerial Vehicles

Drucker, Nir, Ho, Hsi-Ming, Ouaknine, Joël, Penn, Michal, Strichman, Ofer

Journal:

Journal of Computer and System Sciences

Année:

2019

Langue:

english

Fichier:

PDF, 611 KB

english, 2019

Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem

Fijalkow, Nathanaël, Ohlmann, Pierre, Ouaknine, Joël, Pouly, Amaury, Worrell, James

Journal:

Theory of Computing Systems

Année:

2019

Langue:

english

Fichier:

PDF, 864 KB

english, 2019

[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - On the decidability of reachability in linear time-invariant systems

Fijalkow, Nathanaël, Ouaknine, Joël, Pouly, Amaury, Sousa-Pinto, João, Worrell, James

Année:

2019

Langue:

english

Fichier:

PDF, 5.00 MB

english, 2019

Preface

Bojanczyk, Mikolaj, Brihaye, Thomas, Haase, Christoph, Lasota, SÅawomir, Ouaknine, Joel, Potapov, Igor

Journal:

Information and Computation

Année:

2020

Fichier:

PDF, 152 KB

2020